Automated Boundary Testing from Z and B
نویسندگان
چکیده
منابع مشابه
Simulation and Experimental Study of Vibration and Noise of Pure Electric Bus Transmission based on Finite Element and Boundary Element Methods
Since the electric motor of pure electric vehicle replaced the engine, the "masking effect" disappears, and the problem of vibration and noise of the transmission becomes prominent. This is generated during the gear meshing and is transmitted to the housing through the shaft and bearing. Thereby, radiation noise of the housing are generated. The prediction and analysis...
متن کاملAn automatic test case generator for evaluating implementation of access control policies
One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...
متن کاملAutomatic measurement of instantaneous changes in the walls of carotid artery with sequential ultrasound images
Introduction: This study presents a computerized analyzing method for detection of instantaneous changes of far and near walls of the common carotid artery in sequential ultrasound images by applying the maximum gradient algorithm. Maximum gradient was modified and some characteristics were added from the dynamic programming algorithm for our applications. Methods: The algorithm was evaluat...
متن کاملAutomated ribotyping and antibiotic resistance determining of Bacillus spp from conjunctiva of diabetic patients
Objective(s): We aimed to characterize the phenotype and genotype of Bacillus spp isolated from diabetic patients’ eyes, by studying the drug sensitivity patterns with a disc-diffusion method. Materials and Methods: Fifty eyes of 25 patients with type II diabetes mellitus, with at least 10 years of diabetes history, were included in the study. We analyzed the eyes for the presence of Bacillus ...
متن کاملA New Comment on Reinforcement of Testing Criteria
This paper presents the formal aspects of testing criteria for Safety Critical Systems. A brief review of testing strategies i.e. white box and black box is given along with their various criteria’s. Z Notation; a formal specification language is used to sever the purpose of formalization. Initially, the schemas are formed for Statement Coverage (SC), Decision coverage (DC), Path Coverage (PC),...
متن کامل